Logic, Reasoning and a Programming Language for Simulating Economic and Business Processes with Artificially Intelligent Agents 10 Conclusion " Efficient Forward Chaining for Declarative Rules in a Multi-agent Modelling Language " , Centre for Policy Modelling Discussion Paper
ثبت نشده
چکیده
In many modelling situations analytic solutions or traditional " black-box " solutions are unavailable. The same situations are often those where the understanding of the processes involved are most lacking. The combination of the qualitative logical formal tools combined with a suitable declarative modelling language allows for a coherent methodology to be applied which will allow a new understanding of these processes to evolve, and new results to be obtained.
منابع مشابه
Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language
Most rule-based systems are imperative, or, if they are mainly declarative, also provide some imperative features. It is argued that a strictly declarative formalism with a sound logical basis is
متن کاملModelling Reasoning and Acting Agents
Free University Amsterdam, Dept. of Mathematics and Computer Science De Boelelaan 1081a, 1081 HV Amsterdam The Netherlands Email: [email protected] Abstract A number of specific aspects of (intelligent) multi-agent domains have not been considered from a conceptual modelling perspective. For example, dealing with changing worlds and simultaneously active agents the resulting interactivity and dyna...
متن کاملEfficient defeasible reasoning systems
For many years, the non-monotonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic...
متن کاملALP: A programming language for reactive intelligent agents
ALP is a logic-based language for modelling intelligent behaviour in a dynamic environment. Originated in the tradition of production systems both the recognition and action phases are substantially improved. An incremental bottom-up reasoning mechanism enables the recognition of complex situations in a changing world. Situations are described in a purely declarative manner by means of a Horn c...
متن کاملFO(C) and Related Modelling Paradigms
Recently, C-LOG was introduced as a language for modelling causal processes. Its formal semantics has been defined, but the study of this language is far from finished. In this paper, we compare C-LOG to other declarative modelling languages. More specifically, we compare to first-order logic (FO), and argue that C-LOG and FO are orthogonal and that their integration, FO(C), is a knowledge repr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996